1. Artificial Intelligence : Methodology, systems, Applications : Proceedings of the second International Conference on Artificial Intelligence : Methodology, Systems, Applications )AIMSA'88( Varna, Bulgaria, 20-23 September, 1988

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Artificial intelligence,Congresses ، Knowledge, Theory of,Congresses ، Reasoning

رده :
Q
334
.
I554
1988

2. Artificial intelligence iii:methodology,systems,applications:

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع : ARTIFICIAL INTELLIGENCE-CONGRESSES , KNOWLEDGE,THEORY OF-CONGRESSES , REASONING-CONGRESSES

رده :
Q
334
.
I554
1988

3. Artificial intelligence : methodology, systems, applicaitons : Proceedings of the Fourth International Conference on Artificial Intelligence: Methodology, Systems, Applications )AIMSA'90( Albena, Bulgaria, 19-22 September, 1990

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Artificial intelligence,Congresses ، Knowledge, Theory of,Congresses ، Reasoning

رده :
Q
334
.
I554
1990

4. Bayesian epistemology /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Bayes, Thomas, 1702-1761,Bayes, Thomas.,Bayesian statistical decision theory.,Knowledge, Theory of.,Reasoning-- Mathematical models.,Connaissance, Théorie de la.,Raisonnement-- Modèles mathématiques.,Statistique bayésienne.,Bayesian statistical decision theory.,Bayesian statistical decision theory.,Erkenntnistheorie,Knowledge, Theory of.,Knowledge, Theory of.,Methode van Bayes.,Reasoning-- Mathematical models.,Reasoning-- Mathematical models.

رده :
QA279
.
5
.
B6
2003

5. Bayesian epistemology

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Bayesian statistical decision theory,Mathematical models ، Reasoning,، Knowledge, Theory of

رده :
QA
279
.
5
.
B68B28

6. Bayesian epistemology

پدیدآورنده :

کتابخانه: كتابخانه دانشگاه مفيد (قم)

موضوع : ، Bayesian statistical decision theory,، Knowledge, Theory of,Mathematical models ، Reasoning

رده :
QA279
.
5
.
B68
2003

7. Bremen and Freiburg lectures :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Ding an sich,Knowledge, Theory of,Reasoning,Thought and thinking

رده :
B3279
.
H48
.
B7413
2012

8. De la conduite de l'entendement

پدیدآورنده :

کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)

موضوع : Intellect,Reasoning,English philosophy-- 17th-18th centuries,Knowledge, Theory of

9. In defence of objective Bayesianism /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Bayesian statistical decision theory.,Knowledge, Theory of.,Reasoning-- Mathematical models.,31.02 philosophy and theory of mathematics.,31.70 probability.,Bayes-Entscheidungstheorie.,Bayesian method.,Bayesian statistical decision theory.,Bayes-Verfahren,Bayes-Verfahren.,Beslutsteori-- matematisk statistik.,Decision theory.,épistémologie-- théorie de Bayes.,Epistemology.,Knowledge, Theory of.,Objektivierung,Objektivität.,Reasoning-- Mathematical models.

رده :
QA279
.
5
.
W5475
2010

10. Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Knowledge, Theory of,Language and logic,شناخت (فلسفه),زبان و منطق,a04,a05,a04,a05,Reasoning.,استدلال

رده :
BC
177
.
I5
2014
E-Book
,

11. Justification logic :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Logic, Symbolic and mathematical. ; Inquiry (Theory of knowledge) ; Science ; Theory reduction. ; Reasoning. ;

12. Justification logic :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Inquiry (Theory of knowledge),Logic, Symbolic and mathematical.,Reasoning.,Science-- Theory reduction.,Inquiry (Theory of knowledge),Logic, Symbolic and mathematical.,Reasoning.,Science-- Theory reduction.

رده :
QA9
.
A78
2019

13. Methodologies for Intelligent Systems, 4: Proceedings of the Fourth International Symposium on Methodologies for Intelligent Systems held October 12-14, 1989, in Charlotte, North Carolina

کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)

موضوع : Artificial intelligence- Congresses,Reasoning- Congresses,Knowledge, Theory of- Congresses,Logic, Symbolic and mathematical- Congresses

رده :
Q
،
334
،.
I576
،
1989

14. Methodologies for intelligent systems, 4 : Proceedings of the Fourth International Symposium on Methodologies for Intelligent Systems, held October 12-14, 1989, in Charlotte, North Carolina

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Artificial intelligence,Congresses ، Reasoning,Congresses ، Knowledge, Theory of,Congresses ، Logic, Symbolic and mathematical

رده :
Q
334
.
I576
1989

15. Minimal rationality

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Reasoning,، Knowledge, Theory of

رده :
BC
177
.
C52
1986

16. Minimal rationality

پدیدآورنده :

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع : ، Reasoning,، Knowledge, Theory of

رده :
BC
177
.
C52
1986

17. Minimal rationality /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Knowledge, Theory of.,Reasoning.,Connaissance, Théorie de la,Raisonnement,Cognition.,Connaissance.,Knowledge, Theory of.,Knowledge, Theory of.,Raisonnement.,Rationalité.,Rationaliteit.,Reasoning.,Reasoning.,Théorie de la connaissance.

رده :
BC177
.
C52
1986

18. Modality and explanatory reasoning /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Modality (Theory of knowledge),Reasoning

19. Modality and explanatory reasoning

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Modality )Theory of knowledge(,، Reasoning

رده :
BD
218
.
5
.
K55M6

20. Model-Based Reasoning in Science and Technology

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Knowledge, Theory of,شناخت (فلسفه),a04,a04,Model-based reasoning.

رده :
E-Book
,